<HTML>
<BODY>
This package contains commands that are extensions to SMT-LIB.
</BODY>
</HTML>
